Optimal. Leaf size=67 \[ -\frac {\left (a^2-b^2 x^2\right )^{3/2}}{15 a^2 b (a+b x)^3}-\frac {\left (a^2-b^2 x^2\right )^{3/2}}{5 a b (a+b x)^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 67, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.083, Rules used = {659, 651} \[ -\frac {\left (a^2-b^2 x^2\right )^{3/2}}{15 a^2 b (a+b x)^3}-\frac {\left (a^2-b^2 x^2\right )^{3/2}}{5 a b (a+b x)^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 651
Rule 659
Rubi steps
\begin {align*} \int \frac {\sqrt {a^2-b^2 x^2}}{(a+b x)^4} \, dx &=-\frac {\left (a^2-b^2 x^2\right )^{3/2}}{5 a b (a+b x)^4}+\frac {\int \frac {\sqrt {a^2-b^2 x^2}}{(a+b x)^3} \, dx}{5 a}\\ &=-\frac {\left (a^2-b^2 x^2\right )^{3/2}}{5 a b (a+b x)^4}-\frac {\left (a^2-b^2 x^2\right )^{3/2}}{15 a^2 b (a+b x)^3}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.04, size = 51, normalized size = 0.76 \[ \frac {\sqrt {a^2-b^2 x^2} \left (-4 a^2+3 a b x+b^2 x^2\right )}{15 a^2 b (a+b x)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.90, size = 104, normalized size = 1.55 \[ -\frac {4 \, b^{3} x^{3} + 12 \, a b^{2} x^{2} + 12 \, a^{2} b x + 4 \, a^{3} - {\left (b^{2} x^{2} + 3 \, a b x - 4 \, a^{2}\right )} \sqrt {-b^{2} x^{2} + a^{2}}}{15 \, {\left (a^{2} b^{4} x^{3} + 3 \, a^{3} b^{3} x^{2} + 3 \, a^{4} b^{2} x + a^{5} b\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.23, size = 165, normalized size = 2.46 \[ \frac {2 \, {\left (\frac {5 \, {\left (a b + \sqrt {-b^{2} x^{2} + a^{2}} {\left | b \right |}\right )}}{b^{2} x} + \frac {25 \, {\left (a b + \sqrt {-b^{2} x^{2} + a^{2}} {\left | b \right |}\right )}^{2}}{b^{4} x^{2}} + \frac {15 \, {\left (a b + \sqrt {-b^{2} x^{2} + a^{2}} {\left | b \right |}\right )}^{3}}{b^{6} x^{3}} + \frac {15 \, {\left (a b + \sqrt {-b^{2} x^{2} + a^{2}} {\left | b \right |}\right )}^{4}}{b^{8} x^{4}} + 4\right )}}{15 \, a^{2} {\left (\frac {a b + \sqrt {-b^{2} x^{2} + a^{2}} {\left | b \right |}}{b^{2} x} + 1\right )}^{5} {\left | b \right |}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.04, size = 43, normalized size = 0.64 \[ -\frac {\left (-b x +a \right ) \left (b x +4 a \right ) \sqrt {-b^{2} x^{2}+a^{2}}}{15 \left (b x +a \right )^{3} a^{2} b} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 1.35, size = 123, normalized size = 1.84 \[ -\frac {2 \, \sqrt {-b^{2} x^{2} + a^{2}}}{5 \, {\left (b^{4} x^{3} + 3 \, a b^{3} x^{2} + 3 \, a^{2} b^{2} x + a^{3} b\right )}} + \frac {\sqrt {-b^{2} x^{2} + a^{2}}}{15 \, {\left (a b^{3} x^{2} + 2 \, a^{2} b^{2} x + a^{3} b\right )}} + \frac {\sqrt {-b^{2} x^{2} + a^{2}}}{15 \, {\left (a^{2} b^{2} x + a^{3} b\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.62, size = 47, normalized size = 0.70 \[ \frac {\sqrt {a^2-b^2\,x^2}\,\left (-4\,a^2+3\,a\,b\,x+b^2\,x^2\right )}{15\,a^2\,b\,{\left (a+b\,x\right )}^3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sqrt {- \left (- a + b x\right ) \left (a + b x\right )}}{\left (a + b x\right )^{4}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________